Nuprl Definition : w-valtype
0,22
postcript
pdf
valtype(
i
;
a
) == kindcase(kind(
a
);
a
.
w
.TA(
i
,
a
);
l
,
tg
.
w
.M(
l
,
tg
) )
latex
clarification:
w-valtype(
w
;
i
;
a
) == kindcase(w-kind(
w
;
a
);
a
.
w
.TA(
i
,
a
);
l
,
tg
.
w
.M(
l
,
tg
) )
latex
Definitions
w
.M
,
w
.TA
,
kind(
a
)
,
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
) )
,
valtype(
i
;
a
)
FDL editor aliases
w-valtype
origin